Wyniki
-
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic „K1”
Janusz Ciuciura
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 283-291 -
Intuitionistic discursive system (IDS)
Janusz Ciuciura
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 57-62 -
Labelled Tableaux for D2
Janusz Ciuciura
Bulletin of the Section of Logic , 33 /4 (2004) s. 223-235 -
Frontiers of the Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 37 /2 (2008) s. 81-92 -
Negations in the Adjunctive Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 143-160 -
Non-Adjunctive Discursive Logic
Janusz Ciuciura
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 169-182 -
Paraconsistent heap : a hierarchy of mbCn-systems
Janusz Ciuciura
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 173-182 -
Preface : Professor Grzegorz Malinowski in Honorem
Andrzej Indrzejczak, Janusz Ciuciura
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 1-10 -
A remark on countable algebraic models
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /1 (1979) s. 2-6 -
A purely algebraic proof of the omitting types theorem
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /1 (1979) s. 7-9 -
Large matrices which induce finite consequence operations
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /2 (1979) s. 79-82 -
A characterization of Matr(C)
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /2 (1979) s. 83-86 -
ω-saturated matrices
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /3 (1979) s. 120-123 -
Equivalential logics (I)
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /2 (1980) s. 88-92 -
Equivalential logics (II)
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /3 (1980) s. 108-114 -
A remark on free products
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /3 (1980) s. 125-130 -
Algebraic aspects of deduction theorems
Janusz Czelakowski
Bulletin of the Section of Logic , 12 /3 (1983) s. 111-116 -
Some remarks on transitive partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 166-171 -
Another approach to partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 175-176 -
On imbedding of partial Boolean algebras into Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 178-180